qless($r$; $s$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$grp\_lt(qadd\_grp; $r$; $s$)